COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		I hate to renege on commitments I have made to hire people.
C00004 ENDMK
C⊗;
	I hate to renege on commitments I have made to hire people.
However, my commitments to Creary, Goad and Ketonen extend only to
September 1, 1981.  My commitment to Doyle is for two years from September
1.

	It would save $49K to commit to them only to September 1, and I
would plan to drop one of them at that time and get NSF support for
another.  Do you think you could split the difference between the $110K
and the $44K you offered or at least go up to $61K?

	Here is a brief statement of what Doyle will do, and I will
send more when I reach him.  I have a writeup of what Goad will do,
and I'll send it to you as soon as I find the file.  Do you need these
statements on paper or will net mail do?

	John Doyle, who has just finished his dissertation at
M.I.T. under Gerry Sussman, will join the Formal Reasoning Group
September 1.  His work for the next two years will include
developing the ideas of his thesis on programs that deliberate
and introspect in order to act more effectively.  He will also
continue research on non-monotonic reasoning in collaboration
with McCarthy.  His thesis "A Model for Deliberation, Action,
and Introspection" is available from him, DOYLE%MIT-AI.